Language/OS - Multiplatform Resource Library/LANGUAGE OS.iso/ast_comp/concurre.tar/concurrency/iowatr.tex/labels.pl

Text File | 1993-07-05 | 6KB | 230 lines

# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate labels original text with physical files.


$key = q/cite_BR/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Birk35/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Birk67/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Bri81/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_CCMP/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_CT51/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Con/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_DeM/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Ded01/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Dij76/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Dil39/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Ekl77/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_FL/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Fuc63/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Gir87/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_HU/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_JT48/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_JT51/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_JT52/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Jon82/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_KT/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Kle/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Koz79a/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Koz79aa/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Koz79b/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Koz80b/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Koz81a/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Koz83/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Lyn50/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Mac/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Mak64/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Mon64/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_NT77/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Nem82/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Ng84/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Par78/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Pei/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Pr76/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Pr78/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Pr79b/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Pr79c/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Pr80a/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Pr80b/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Pr81b/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Pr86/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Red64/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Schr95/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Seg77/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Sto36/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_TG87/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Tar41/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Tar55/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_VG/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

$key = q/cite_WD/;
$external_labels{$key} = "$URL/" . q|node24_mn.html|;
$noresave{$key} = "$nosave";

1;


# LaTeX2HTML 2022 (Released January 1, 2022)
# labels from external_latex_labels array.


1;